Some Bounds on the Complexity of Predicate Recognition by Finite Automata

نویسنده

Yuri Breitbart

چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)

This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...

متن کامل

Logics for Real Time: Decidability and Complexity

Over the last fifteen years formalisms for reasoning about metric properties of computations were suggested and discussed. First as extensions of temporal logic, ignoring the framework of classical predicate logic, and then, with the authors’ work, within the framework of monadic logic of order. Here we survey our work on metric logic comparing it to the previous work in the field. We define a ...

متن کامل

Complexity Bounds of Constant-Space Quantum Computation

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In particular, we show that, when the automata halt “in finite steps” along all computation paths, they must terminate in worstcase liner time. In the bounded-erro...

متن کامل

Monoids and the State Complexity of the Operation root ( L ) by Bryan Krawetz

In this thesis, we cover the general topic of state complexity. In particular, we examine the bounds on the state complexity of some different representations of regular languages. As well, we consider the state complexity of the operation root(L). We give quick treatment of the deterministic state complexity bounds for nondeterministic finite automata and regular expressions. This includes an ...

متن کامل